TipoTítulo Autor EdiciónDisponibilidadValoración
coverllll
Libro
Logic in computer science: modelling and reasoning about systems Huth, Michael 2nd ed.   (2004)
Domicilio

----------